Foundations of Science

Results: 707



#Item
31

Deciding Extensions of the Theories of Vectors and Bags Patrick Maier Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland

Add to Reading List

Source URL: www.dcs.gla.ac.uk

- Date: 2013-12-19 07:07:16
    32

    REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh

    Add to Reading List

    Source URL: www.dcs.gla.ac.uk

    - Date: 2013-12-19 07:07:14
      33

      17th Knuth Prize: Call for Nominations The Donald E. Knuth Prize for outstanding contributions to the foundations of computer science is awarded for major research accomplishments and contributions to the foundations of

      Add to Reading List

      Source URL: www.eecs.harvard.edu

      - Date: 2016-12-20 16:36:56
        34

        July 25, :0 WSPC/INSTRUCTION FILE S0129054111008593 International Journal of Foundations of Computer Science Vol. 22, No–1142

        Add to Reading List

        Source URL: people.rennes.inria.fr

        - Date: 2013-05-27 08:17:25
          35

          Causally consistent dynamic slicing Roly Perera1,2 , Deepak Garg3 , and James Cheney1 1 Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, UK ,

          Add to Reading List

          Source URL: dynamicaspects.org

          - Date: 2016-06-08 06:22:37
            36

            T The Κ 50th Annual Symposium on Foundations of Computer Science, FOCSIEEE Computer Society, pp. 629–638, 2009.

            Add to Reading List

            Source URL: users.uoa.gr

            - Date: 2014-06-11 17:30:32
              37

              2016 IEEE 57th Annual Symposium on Foundations of Computer Science Approximate Gaussian Elimination for Laplacians – Fast, Sparse, and Simple Rasmus Kyng, Sushant Sachdeva Department of Computer Science

              Add to Reading List

              Source URL: ieee-focs.org

              - Date: 2016-10-06 00:33:48
                38

                Foundations and Formalizations of Self-Organization Daniel Polani Adaptive Systems Research Group Department of Computer Science University of Hertfordshire

                Add to Reading List

                Source URL: apophenia.wdfiles.com

                - Date: 2013-02-24 14:08:36
                  39

                  International Journal of Foundations of Computer Science c World Scientific Publishing Company ° FINDING SMALLEST SUPERTREES UNDER MINOR CONTAINMENT ∗†

                  Add to Reading List

                  Source URL: users.uoa.gr

                  - Date: 2014-06-11 17:30:32
                    40

                    Basic Matrix Operations Special Matrices Matrix Products Transpose, Inner and Outer Product Computational Foundations of Cognitive Science

                    Add to Reading List

                    Source URL: www.inf.ed.ac.uk

                    - Date: 2014-02-07 11:52:50
                      UPDATE